palindrome examples in automata